what is type in type script